<HTML><HEAD><TITLE>indomain(?X)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic_symbolic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>indomain(?X)</H1>
Nondeterministically instantiate to domain values
<DL>
<DT><EM>X</EM></DT>
<DD>domain variable or value
</DD>
</DL>
<H2>Description</H2>
<P>
	Instantiates a domain variable to its domain values. The order of
	enumeration is in increasing domain order.
    </P>
<H2>Examples</H2>
<PRE>
    ?- local domain(weekday(mo, tu, we, th, fr, sa, su)).
    Yes (0.00s cpu)

    ?- X &amp;:: weekday.
    X = X{[mo, tu, th, fr, sa, su]}
    Yes (0.00s cpu)

    ?- X &amp;:: weekday, indomain(X).
    X = mo
    More (0.00s cpu)
    X = tu
    More (0.01s cpu)
    X = we
    More (0.02s cpu)
    X = th
    More (0.03s cpu)
    X = fr
    More (0.05s cpu)
    X = sa
    More (0.06s cpu)
    X = su
    Yes (0.06s cpu)

    ?- indomain(we).
    Yes (0.00s cpu)
    </PRE>
<H2>See Also</H2>
<A HREF="../../lib/ic_symbolic/YNN-2.html">&:: / 2</A>, <A HREF="../../kernel/termcomp/domain-1.html">domain / 1</A>
</BODY></HTML>
